data Product e a = Prod e a deriving Functor